A Compositional Approach to Concurrent Object-Oriented Programming
نویسندگان
چکیده
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of methods. It will be shown that this compositional approach to concurrent programming avoids some of the conceptual difficulties that have plagued the integration of concurrency and object-oriented models of programs. The compositional approach to concurrent objectoriented programming leads to declarative and incremental specification of interaction behavior and thus, to object/method definitions that can be readily adapted to different parallel execution environments. The approach supports inheritance of both method and synchronization specifications. It will be shown that compositional programming avoids the so-called “inheritance anomaly.”
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملA Metamodel for Concurrent, Object-based Programming
The development of flexible and reusable concurrent object-oriented programming abstractions has suffered from the inherent problem that reusability and extensibility is limited due to position-dependent parameters. To tackle this problem, we propose the FORM-calculus, an inherently polymorphic variant of the π-calculus, where polyadic tuple communication is replaced by monadic communication of...
متن کاملVerifiable Programming of Object-Oriented and Distributed Systems
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. This paper explores a programming paradigm based on active, concurrent objects communicating by so-called asynchronous method calls giving rise to efficient interaction by means of non-blocking method calls, implemented by means o...
متن کاملA Model for Objects Behavior
If object oriented programming languages offer a good support for modularity and encapsulation. Parallelism necessitate to integrate mechanisms of control. And particularly controls of temporal aspects have to be added. Concurrent object behavior may be complex. It expresses causality relationship between events, possible concurrent method activation, methods activation depending on the object ...
متن کامل, Fine - Grained Concurrent Object - Oriented
The introduction of concurrency complicates the already diicult task of large-scale programming. Concurrent object-oriented languages provide a mechanism, encapsulation, for managing the increased complexity of large-scale concurrent programs, thereby reducing the diiculty of large scale concurrent programming. In particular, ne-grained object-oriented approaches provide modularity through enca...
متن کامل